Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
41	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
42	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
43	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
44	The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2005-03-23 10:49:26 Automated theorem proving Logic Cognitive science Theoretical computer science Reasoning Artificial intelligence Research councils Automated reasoning Alan Bundy Reasoning system Isabelle Mathematical proof
45	CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2002-06-13 14:56:18 Automated theorem proving Theoretical computer science Mathematical logic Software engineering TPTP Automated reasoning SPASS Reasoning system Prolog Model elimination OMDoc System on TPTP
46	Downloaded from orbit.dtu.dk on: Aug 13, 2016 Formalization of Algorithms and Logical Inference Systems in Proof Assistants Schlichtkrull, Anders Published in: Add to Reading List Source URL: orbit.dtu.dk Language: English - Date: 2016-01-29 23:14:59 Logic Mathematical logic Abstraction Automated theorem proving Reasoning Syntax Theoretical computer science Artificial intelligence Automated reasoning Proof assistant Isabelle First-order logic
47	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
48	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
49	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
50	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2010-08-07 06:03:33 Automated theorem proving Model theory Formal methods Constraint programming Resolution Skolem normal form Lambda calculus Satisfiability Boolean satisfiability problem Conjunctive normal form